def exit():
    ...